Nuprl Definition : rv-mul 11,40

X * Y(s) == (X(s)) * (Y(s)) 
latex


Definitionsx.A(x), r * s, f(a)
FDL editor aliasesrv-mul

origin